Agha, Gul : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (136)
Les plus populaires
Liste
- Liste
- Tableau

1

Ecology and the problem of recycling household waste

Barialay Agha Gul,Alexeev V. V.

Journal:

Вестник Казанского технологического университета

Année:

2012

Langue:

english

Fichier:

PDF, 246 KB

english, 2012

2

A Survey of Statistical Model Checking

Agha, Gul, Palmskog, Karl

Journal:

ACM Transactions on Modeling and Computer Simulation

Année:

2018

Langue:

english

Fichier:

PDF, 622 KB

english, 2018

3

[IEEE 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) - San Jose, CA, USA (04-07 April 2006)] 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) - Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

YoungMin Kwon,, Gul Agha,

Année:

2006

Langue:

english

Fichier:

PDF, 352 KB

english, 2006

4

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Spencer, Billie F., Jo, Hongki, Mechitov, Kirill A., Li, Jian, Sim, Sung-Han, Kim, Robin E., Cho, Soojin, Linderman, Lauren E., Moinzadeh, Parya, Giles, Ryan K., Agha, Gul

Journal:

Journal of Civil Structural Health Monitoring

Année:

2016

Langue:

english

Fichier:

PDF, 6.71 MB

english, 2016

5

A foundation for actor computation

AGHA, GUL A., MASON, IAN A., SMITH, SCOTT F., TALCOTT, CAROLYN L.

Journal:

Journal of Functional Programming

Année:

1997

Langue:

english

Fichier:

PDF, 643 KB

english, 1997

6

[IEEE 2009 International Conference on Parallel Processing (ICPP) - Vienna, Austria (2009.09.22-2009.09.25)] 2009 International Conference on Parallel Processing - Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures

Korthikanti, Vijay Anand, Agha, Gul

Année:

2009

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2009

7

[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 ||

Agha, Gul, Danvy, Olivier, Meseguer, José

Année:

2011

Langue:

english

Fichier:

PDF, 7.68 MB

english, 2011

8

[Lecture Notes in Computer Science] Concurrent Object-Oriented Programming and Petri Nets Volume 2001 || Concurrency in Communicating Object Petri Nets

Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz

Année:

2001

Langue:

english

Fichier:

PDF, 356 KB

english, 2001

9

[IEEE 2011 International Conference on Parallel Processing (ICPP) - Taipei, Taiwan (2011.09.13-2011.09.16)] 2011 International Conference on Parallel Processing - On the Energy Complexity of Parallel Algorithms

Korthikanti, Vijay Anand, Agha, Gul, Greenstreet, Mark

Année:

2011

Langue:

english

Fichier:

PDF, 215 KB

english, 2011

10

[IEEE 18th International Parallel and Distributed Processing Symposium, 2004. - Santa Fe, NM, USA (April 26-30, 2004)] 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. - Concurrency vs. sequential interleavings in 1-D threshold cellular automata

Tosic, P., Gul Agha,

Année:

2004

Langue:

english

Fichier:

PDF, 1.36 MB

english, 2004

11

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - A Markov Reward Model for Software Reliability

Kwon, YoungMin, Agha, Gul

Année:

2007

Langue:

english

Fichier:

PDF, 196 KB

english, 2007

12

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 9826 || Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

Agha, Gul, Van Houdt, Benny

Année:

2016

Langue:

english

Fichier:

PDF, 494 KB

english, 2016

13

Special issue: High availability in CORBA

Agha, Gul, Guerraoui, Rachid

Journal:

Theory and Practice of Object Systems

Année:

1998

Langue:

english

Fichier:

PDF, 30 KB

english, 1998

14

A Modular Approach to Programming Distributed Real-Time Systems

Shangping Ren, Gul A. Agha, Masahiko Saito

Journal:

Journal of Parallel and Distributed Computing

Année:

1996

Langue:

english

Fichier:

PDF, 293 KB

english, 1996

15

A visualization model for concurrent systems

Mark Astley, Gul A. Agha

Journal:

Information Sciences

Année:

1996

Langue:

english

Fichier:

PDF, 1.21 MB

english, 1996

16

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations

Myeong-Wuk Jang, Gul Agha

Journal:

Simulation Modelling Practice and Theory

Année:

2006

Langue:

english

Fichier:

PDF, 204 KB

english, 2006

17

What after Java? From objects to actors

Carlos A. Varela, Gul A. Agha

Journal:

Computer Networks and ISDN Systems

Année:

1998

Langue:

english

Fichier:

PDF, 507 KB

english, 1998

18

Actors: A unifying model for parallel and distributed computing

Gul A Agha, Wooyoung Kim

Journal:

Journal of Systems Architecture

Année:

1999

Langue:

english

Fichier:

PDF, 232 KB

english, 1999

19

Online efficient predictive safety analysis of multithreaded programs

Koushik Sen, Grigore Roşu, Gul Agha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2006

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2006

20

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Gul Agha, José Meseguer, Koushik Sen

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 444 KB

english, 2006

21

Case Studies in Security and Resource Management for Mobile Object Systems

Dejan Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino

Journal:

Autonomous Agents and Multi-Agent Systems

Année:

2002

Langue:

english

Fichier:

PDF, 398 KB

english, 2002

22

Towards reusable real-time objects

Brian Nielsen, Gul Agha

Journal:

Annals of Software Engineering

Année:

1999

Langue:

english

Fichier:

PDF, 225 KB

english, 1999

23

Scalable concurrent computing

Nalini Venkatasubramanian, Shakuntala Miriyala, Gul Agha

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 1.79 MB

english, 1992

24

Visualizing actor programs using predicate transition nets

Shakuntala Miriyala, Gul Agha, Yamina Sami

Journal:

Journal of Visual Languages & Computing

Année:

1992

Langue:

english

Fichier:

PDF, 2.91 MB

english, 1992

25

Energy-performance trade-off analysis of parallel algorithms for shared memory architectures

Vijay Anand Korthikanti, Gul Agha

Journal:

Sustainable Computing: Informatics and Systems

Année:

2011

Langue:

english

Fichier:

PDF, 514 KB

english, 2011

26

Preface to the special issue on Coordination Models and Languages (Coordination 2010)

Clarke, Dave, Agha, Gul

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 146 KB

english, 2013

27

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 6116 || Modelling Railway Interlocking Tables Using Coloured Petri Nets

Clarke, Dave, Agha, Gul

Année:

2010

Langue:

english

Fichier:

PDF, 410 KB

english, 2010

28

[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 || Mathematical Models of Object-Based Distributed Systems

Agha, Gul, Danvy, Olivier, Meseguer, José

Année:

2011

Langue:

english

Fichier:

PDF, 266 KB

english, 2011

29

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - CUTE

Sen, Koushik, Marinov, Darko, Agha, Gul

Année:

2005

Langue:

english

Fichier:

PDF, 258 KB

english, 2005

30

[ACM Press the first international conference - Los Angeles, California, USA (2003.11.05-2003.11.07)] Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03 - Poster abstract

Mechitov, Kirill, Sundresh, Sameer, Kwon, Youngmin, Agha, Gul

Année:

2003

Langue:

english

Fichier:

PDF, 71 KB

english, 2003

31

[IEEE 2008 7th International Conference on Information Processing in Sensor Networks (IPSN) - St. Louis, MO, USA (2008.04.22-2008.04.24)] 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008) - Passive Localization: Large Size Sensor Network Localization Based on Environmental Events

Kwon, YoungMin, Agha, Gul

Année:

2008

Langue:

english

Fichier:

PDF, 703 KB

english, 2008

32

[ACM Press the 1986 SIGPLAN workshop - Yorktown Heights, New York, United States (1986.06.09-1986.06.13)] Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming - - An overview of actor languages

Année:

1986

Langue:

english

Fichier:

PDF, 611 KB

english, 1986

33

[ACM Press the 7th International Conference - Calgary, Alberta, Canada (2009.08.27-2009.08.28)] Proceedings of the 7th International Conference on Principles and Practice of Programming in Java - PPPJ '09 - Actor frameworks for the JVM platform

Karmani, Rajesh K., Shali, Amin, Agha, Gul

Année:

2009

Langue:

english

Fichier:

PDF, 901 KB

english, 2009

34

Programming dynamically reconfigurable open systems with SALSA

Varela, Carlos, Agha, Gul

Journal:

ACM SIGPLAN Notices

Année:

2001

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2001

35

[Lecture Notes in Computer Science] Concurrent Objects and Beyond Volume 8665 || From Linear Types to Behavioural Types and Model Checking

Agha, Gul, Igarashi, Atsushi, Kobayashi, Naoki, Masuhara, Hidehiko, Matsuoka, Satoshi, Shibayama, Etsuya, Taura, Kenjiro

Année:

2014

Langue:

english

Fichier:

PDF, 318 KB

english, 2014

36

[Lecture Notes in Computer Science] Concurrent Objects and Beyond Volume 8665 || Verifiable Object-Oriented Transactions

Agha, Gul, Igarashi, Atsushi, Kobayashi, Naoki, Masuhara, Hidehiko, Matsuoka, Satoshi, Shibayama, Etsuya, Taura, Kenjiro

Année:

2014

Langue:

english

Fichier:

PDF, 364 KB

english, 2014

37

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Westin Hotel, Waltham, MA, USA (April 18-21, 2005)] International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism

Ahmed, A., Patel, A., Brown, T., MyungJoo Ham,, Myeong-Wuk Jang,, Gul Agha,

Année:

2005

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2005

38

[IEEE Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004). - Beijing, China (Sept. 20-24, 2004)] Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004). - ATspace: a middle agent to support application oriented matchmaking and brokering services

Myeong-Wuk Jang,, Momen, A.A., Gul Agha,

Année:

2004

Langue:

english

Fichier:

PDF, 255 KB

english, 2004

39

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Westin Hotel, Waltham, MA, USA (April 18-21, 2005)] International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Scalable agent distribution mechanisms for large-scale UAV simulations

Myeong-Wuk Jang,, Gul Agha,

Année:

2005

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2005

40

The microelectronic wireless nitrate sensor network for environmental water monitoring

Gartia, Manas Ranjan, Braunschweig, Björn, Chang, Te-Wei, Moinzadeh, Parya, Minsker, Barbara S., Agha, Gul, Wieckowski, Andrzej, Keefer, Laura L., Liu, Gang Logan

Journal:

Journal of Environmental Monitoring

Année:

2012

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2012

41

[IEEE 2014 IEEE 13th International Symposium on Parallel and Distributed Computing (ISPDC) - France (2014.6.24-2014.6.27)] 2014 IEEE 13th International Symposium on Parallel and Distributed Computing - Actors Programming for the Mobile Cloud

Année:

2014

Langue:

english

Fichier:

PDF, 155 KB

english, 2014

42

[IEEE Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05) - Konstanz, Germany (31-02 Aug. 2005)] Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05) - ARA: A Robust Audit to Prevent Free-Riding in P2P Networks

MyungJoo Ham,, Gul Agha,

Année:

2005

Langue:

english

Fichier:

PDF, 322 KB

english, 2005

43

[IEEE 37th Annual Simulation Symposium, 2004. - Arlington, VA, USA (18-22 April 2004)] 37th Annual Simulation Symposium, 2004. Proceedings. - SENS: a sensor, environment and network simulator

Sundresh, S., Wooyoung Kim,, Gul Agha,

Année:

2004

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2004

44

[IEEE Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004. - Yorktown Heights, NY, USA (2004.06.9-2004.06.9)] Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004. - DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems

Sandeep Uttamchandani,, Alvarez, G.A., Gul Agha,

Année:

2004

Langue:

english

Fichier:

PDF, 406 KB

english, 2004

45

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Reasoning about MDPs as Transformers of Probability Distributions

Korthikanti, Vijay Anand, Viswanathan, Mahesh, Agha, Gul, Kwon, YoungMin

Année:

2010

Langue:

english

Fichier:

PDF, 370 KB

english, 2010

46

[IEEE 2010 International Conference on Green Computing (Green Comp) - Chicago, IL, USA (2010.08.15-2010.08.18)] International Conference on Green Computing - Avoiding energy wastage in parallel applications

Korthikanti, Vijay Anand, Agha, Gul

Année:

2010

Langue:

english

Fichier:

PDF, 612 KB

english, 2010

47

[IEEE The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03) - Anacapri, Italy (01-03 Oct. 2003)] The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03) - Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems

Hui Ding,, Can Zheng,, Gul Agha,, Lui Sha,

Année:

2003

Langue:

english

Fichier:

PDF, 255 KB

english, 2003

48

[IEEE Sixth IEEE International Conference on Peer-to-Peer Computing (P2P'06) - Cambridge, UK (06-08 Sept. 2006)] Sixth IEEE International Conference on Peer-to-Peer Computing (P2P'06) - State Aware Data Dissemination over Structured Overlays

Liping Chen,, Gul Agha,

Année:

2006

Langue:

english

Fichier:

PDF, 340 KB

english, 2006

49

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Model Checking MDPs with a Unique Compact Invariant Set of Distributions

Chadha, Rohit, Korthikanti, Vijay Anand, Viswanathan, Mahesh, Agha, Gul, Kwon, Youngmin

Année:

2011

Langue:

english

Fichier:

PDF, 300 KB

english, 2011

50

[IEEE 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Venezia, Italy (2008.10.20-2008.10.24)] 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems - A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems

Ham, MyungJoo, Agha, Gul

Année:

2008

Langue:

english

Fichier:

PDF, 382 KB

english, 2008